ReP USP - Resultado da busca

Dissertação (Mestrado)
Introdução à lógica modal (2009)
Coscarelli, Bruno Costa; Weiss, Maria Angela (Orientador)
Unidade: IME
Subjects: LÓGICA MATEMÁTICA, LÓGICA MODAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
COSCARELLI, Bruno Costa. Introdução à lógica modal. 2009. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/. Acesso em: 21 maio 2024.
APA
Coscarelli, B. C. (2009). Introdução à lógica modal (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/
NLM
Coscarelli BC. Introdução à lógica modal [Internet]. 2009 ;[citado 2024 maio 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/
Vancouver
Coscarelli BC. Introdução à lógica modal [Internet]. 2009 ;[citado 2024 maio 21 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45131/tde-17062009-161423/
Relatorio tecnico
A polynomial algorithm for deciding 3-sat (2007)
Weiss, Maria Angela
Unidade: IME
Assunto: POLINÔMIOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WEISS, Maria Angela. A polynomial algorithm for deciding 3-sat. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/ad2c7e9e-4f02-41e2-b352-23c9e9c70c4d/1638893.pdf. Acesso em: 21 maio 2024. , 2007
APA
Weiss, M. A. (2007). A polynomial algorithm for deciding 3-sat. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/ad2c7e9e-4f02-41e2-b352-23c9e9c70c4d/1638893.pdf
NLM
Weiss MA. A polynomial algorithm for deciding 3-sat [Internet]. 2007 ;[citado 2024 maio 21 ] Available from: https://repositorio.usp.br/directbitstream/ad2c7e9e-4f02-41e2-b352-23c9e9c70c4d/1638893.pdf
Vancouver
Weiss MA. A polynomial algorithm for deciding 3-sat [Internet]. 2007 ;[citado 2024 maio 21 ] Available from: https://repositorio.usp.br/directbitstream/ad2c7e9e-4f02-41e2-b352-23c9e9c70c4d/1638893.pdf
Artigo de periodico
Completeness of certain bimodal logics for subset spaces (2002)
Weiss, Maria Angela ; Parikh, Rohit J.
Source: Studia Logica. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WEISS, Maria Angela e PARIKH, Rohit J. Completeness of certain bimodal logics for subset spaces. Studia Logica, v. 71, n. 1, p. 1-30, 2002Tradução . . Disponível em: https://doi.org/10.1023/A:1016372523344. Acesso em: 21 maio 2024.
APA
Weiss, M. A., & Parikh, R. J. (2002). Completeness of certain bimodal logics for subset spaces. Studia Logica, 71( 1), 1-30. doi:10.1023/A:1016372523344
NLM
Weiss MA, Parikh RJ. Completeness of certain bimodal logics for subset spaces [Internet]. Studia Logica. 2002 ; 71( 1): 1-30.[citado 2024 maio 21 ] Available from: https://doi.org/10.1023/A:1016372523344
Vancouver
Weiss MA, Parikh RJ. Completeness of certain bimodal logics for subset spaces [Internet]. Studia Logica. 2002 ; 71( 1): 1-30.[citado 2024 maio 21 ] Available from: https://doi.org/10.1023/A:1016372523344
Artigo de periodico
The unrestricted combination of temporal logic systems (2002)
Finger, Marcelo ; Weiss, Maria Angela
Source: Logic Journal of the IGPL. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e WEISS, Maria Angela. The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, v. 10, n. 2, p. 165-189, 2002Tradução . . Disponível em: https://doi.org/10.1093/jigpal/10.2.165. Acesso em: 21 maio 2024.
APA
Finger, M., & Weiss, M. A. (2002). The unrestricted combination of temporal logic systems. Logic Journal of the IGPL, 10( 2), 165-189. doi:10.1093/jigpal/10.2.165
NLM
Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2024 maio 21 ] Available from: https://doi.org/10.1093/jigpal/10.2.165
Vancouver
Finger M, Weiss MA. The unrestricted combination of temporal logic systems [Internet]. Logic Journal of the IGPL. 2002 ; 10( 2): 165-189.[citado 2024 maio 21 ] Available from: https://doi.org/10.1093/jigpal/10.2.165
Dissertação (Mestrado)
Grupos semitopologicos (1987)
Weiss, Maria Angela ; Alas, Ofélia Teresa (Orientador)
Unidade: IME
Assunto: SEMIGRUPOS TOPOLÓGICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WEISS, Maria Angela. Grupos semitopologicos. 1987. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1987. Disponível em: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-112528/. Acesso em: 21 maio 2024.
APA
Weiss, M. A. (1987). Grupos semitopologicos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-112528/
NLM
Weiss MA. Grupos semitopologicos [Internet]. 1987 ;[citado 2024 maio 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-112528/
Vancouver
Weiss MA. Grupos semitopologicos [Internet]. 1987 ;[citado 2024 maio 21 ] Available from: https://teses.usp.br/teses/disponiveis/45/45131/tde-20220712-112528/

USP Schools

ReP

Filtros